<html>
<head><meta charset="utf-8"><title>Hilmar Gústafsson · new members · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/index.html">new members</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/Hilmar.20G.C3.BAstafsson.html">Hilmar Gústafsson</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="225025152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122652-new%20members/topic/Hilmar%20G%C3%BAstafsson/near/225025152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hilmar Gústafsson <a href="https://rust-lang.github.io/zulip_archive/stream/122652-new-members/topic/Hilmar.20G.C3.BAstafsson.html#225025152">(Feb 03 2021 at 14:48)</a>:</h4>
<p>Hi everyone!<br>
I've been using Rust since 2016, and chose to work on it during my master's thesis, which I just started.<br>
I'll be trying to contribute to static analysis in Rust. Direction is still a bit unclear, but hoping to contribute to the formal methods group. :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>